pump house - German English Dictionary